181. Introduction to the foundations of mathematics
پدیدآورنده : Wilder, Raymond Louis
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
W58
1965a
182. Intuitionism; an introduction
پدیدآورنده : Heyting, Arend
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic, symbolic and mathematical,، Mathematics-- Methodology
رده :
QA
9
.
H4
183. Invariance and structural dependence
پدیدآورنده : Odelstad, Jan
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics - Philosophy
رده :
QA
9
.
O26
1992
184. Invariance and structural dependence
پدیدآورنده : Odelstad, Jan.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy
رده :
QA
9
.
O26
1992
185. Iteration theories
پدیدآورنده : Stephen L. Bloom, Zoltخ n اsik
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Computer science -- Mathematics,Iterative methods )Mathematics(,Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
,
I56
1993
186. Iteration theories
پدیدآورنده : Stephen L. Bloom, Zoltخ n اsik
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Computer science -- Mathematics,Iterative methods )Mathematics(,Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
,
I56
1993
187. Iteration theories : the equational logic of iterative processes
پدیدآورنده : Bloom, Stephen L.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Computer science - Mathematics,، Iterative methods )Mathematics(,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
I56
1993
188. La consistance des theories formelles et le fondement des mathematiques
پدیدآورنده : Par Maurice Meigne
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع : Mathematics-- Philosophy,Logic, Symbolic and mathematical
189. La crise de la raison et la logique;conferences faites a l'Universite de Liege dans le cadre des echanges culturels belgo-neerlandais au mois de mai 1956
پدیدآورنده : Par E. W. Beth
موضوع : Mathematics--Philosophy.,Logic, Symbolic and mathematical.
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
190. Language, truth, and logic in mathematics
پدیدآورنده : / Jaakko Hintikka
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics , Philosophy,Logic, Symbolic and mathematical
رده :
E-BOOK
191. Le raisonnement mathematique
پدیدآورنده : Par R. Daval et G. T. Guilbaud
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع : Logic, Symbolic and mathematical.,Mathematics-Philosophy
192. Les fondements logiques des mathematiques.
پدیدآورنده : Par E.W.Beth
موضوع : Mathematics--Philosophy.,Logic, Symbolic and mathematical.
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
193. Linear logic in computer science
پدیدآورنده : edited by Thomas Ehrhard ... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical,Mathematics ، Computer science
رده :
QA
9
.
54
.
L563
194. Logic Colloquium' 96 :
پدیدآورنده : edited by Jesús M. Larrazabal, Daniel Lascar, Grigori Mints.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic, Symbolic and mathematical.,Mathematics.
رده :
QA9
.
A1
E358
1998
195. Logic Colloquium '88
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical ; Congresses. ; Mathematics ; Congresses. ;
196. Logic, Language, and Probability :
پدیدآورنده : edited by Radu J. Bogdan, Ilkka Niiniluoto.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,Science -- Philosophy.
197. Logic, Mathematics, and Computer Science.
پدیدآورنده : \ Yves Nievergelt
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics,Logic, symbolic and mathematical,Number theory,ریاضیات,منطق ریاضی,نظریه اعداد,a03,a04,a05,a03,a04,a05
رده :
QA
37
.
N5L6
2015
E-Book
,
198. Logic : a brief course
پدیدآورنده : Mundici, Daniele
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Mathematics,، Computer science,، Logic, Symbolic and mathematical
رده :
BC
71
.
L62
2012
199. Logic: a brief course
پدیدآورنده : Mundici, Daniele
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics,، Computer science,، Semantics
رده :
QA
9
.
M86
2012
200. Logic : a brief course
پدیدآورنده : Mundici, Daniele, 6491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics,، Computer science
رده :
QA
9
.
M86L613
